Buy Used and New Doron Peled Books

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science)

by Cyrille Artho,Axel Legay,Doron Peled

ISBN 13: 9783319465197

Format: Paperback (544 pages)
Publisher: Springer
Published: 22 Sep 2016

Save for later

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

by Nicolas Halbwachs,Doron Peled

ISBN 13: 9783540662020

Format: Paperback (526 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later